Series which are both max-plus and min-plus rational are unambiguous
نویسندگان
چکیده
منابع مشابه
Series which are both max-plus and min-plus rational are unambiguous
Consider partial maps Σ∗ −→ R with a rational domain. We show that two families of such series are actually the same: the unambiguous rational series on the one hand, and the max-plus and min-plus rational series on the other hand. The decidability of equality was known to hold in both families with different proofs, so the above unifies the picture. We give an effective procedure to build an u...
متن کاملDuality of the Max-Plus and Min-Plus Network Calculus
The network calculus is a framework for the analysis of communication net-works, which exploits that many computer network models become tractablefor analysis if they are expressed in a min-plus or max-plus algebra. In amin-plus algebra, the network calculus characterizes amounts of traffic andavailable service as functions of time. In a max-plus algebra, the network cal-cul...
متن کاملInferring Min and Max Invariants Using Max-Plus Polyhedra
We introduce a new numerical abstract domain able to infer min and max invariants over the program variables, based on max-plus polyhedra. Our abstraction is more precise than octagons, and allows to express non-convex properties without any disjunctive representations. We have defined sound abstract operators, evaluated their complexity, and implemented them in a static analyzer. It is able to...
متن کاملFinite-Horizon Min-Max Control of Max-Plus-Linear Systems
In this note, we provide a solution to a class of finite-horizon min–max control problems for uncertain max-plus-linear systems where the uncertain parameters are assumed to lie in a given convex and compact set, and it is required that the closed-loop input and state sequence satisfy a given set of linear inequality constraints for all admissible uncertainty realizations. We provide sufficient...
متن کاملOn min - max - plus systems , nonexpansive mappings and periodic solutions
A selection of these reports is available in PostScript form at the Faculty's anonymous ftp-Abstract Systems in which the operations min, max and addition appear simultaneously are called min-max-plus systems. Such systems, which are extensions of timed discrete event systems (which on their turn are based on the max-plus algebra, i.e. on the operations max and addition only), have been studied...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: RAIRO - Theoretical Informatics and Applications
سال: 2005
ISSN: 0988-3754,1290-385X
DOI: 10.1051/ita:2005042